| 翻訳と辞書 |
| Element (category theory) ： ウィキペディア英語版 |
Element (category theory)
In category theory, the concept of an element, or a point, generalizes the more usual set theoretic concept of an element of a set to an object of any category. This idea often allows to restate definitions or properties of morphisms (such as monomorphism or product) which are given by a universal property in more familiar terms by stating their relation to elements. Some very general theorems, such as Yoneda's lemma and the Mitchell embedding theorem, are of great utility in this way, by allowing one to work in a context where these translations are valid. This approach to category theory, in particular the use of the Yoneda lemma in this way, is due to Grothendieck, and is often called the method of the functor of points.
==Definition==
Suppose C is any category and ''A'', ''T'' are two objects of C. A ''T''-valued point of ''A'' is simply an arrow . The set of all ''T''-valued points of ''A'' varies functorially with ''T'', giving rise to the "functor of points" of ''A''; according to the Yoneda lemma, this completely determines ''A'' as an object of C.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Element (category theory)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|